Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
961	On the Semantics of German Declarative and Interrogative Root and Complement Clauses Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:58:29 Grammar Mathematical logic Parts of speech Propositional calculus Statements Predicate Proposition Clause Logic programming Linguistics Logic Syntax
962	Natural Logic for Natural Language Jan van Eijck1 CWI, Amsterdam and Uil-OTS, Utrecht University [removed], WWW home page: http://www.cwi.nl/∼jve Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:17:05 Quantification Semantics Order theory Predicate logic Monotonic function Real analysis Generalized quantifier Function FO Mathematics Mathematical analysis Logic
963	Context and the Composition of Meaning Jan van Eijck ([removed]) CWI and ILLC, Amsterdam, Uil-OTS, Utrecht Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:44:43 Mathematical logic Predicate logic Elementary mathematics Model theory Quantification Discourse representation theory Variable Function First-order logic Logic Mathematics Semantics
964	Michael Nelson and Edward N. Zalta[removed]Introduction ∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2008-12-25 15:55:57 Modal logic Philosophical logic Predicate logic Possibility Actualism Barcan formula Universal quantification Uniqueness quantification QML Mathematical logic Logic Quantification
965	Edward N. Zalta Essence and Modality∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-11-28 19:53:20 Model theory Predicate logic Lambda calculus Metalogic Category theory First-order logic Fixed-point combinator Interpretation Function Logic Mathematical logic Mathematics
966	Edward N. Zalta Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege’s Grundgesetze in Object Theory∗ Edward N. Zalta† Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-10-25 17:28:23 Predicate logic Model theory Lambda calculus Metalogic Object theory First-order logic Function Field Functor Mathematics Mathematical logic Logic
967	Edward N. Zalta In Defense of the Law of Noncontradiction Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 00:45:47 Metaphysicians Model theory Predicate logic Arguments for the existence of God Law of noncontradiction Function Interpretation Lambda calculus Modal logic Logic Mathematics Mathematical logic
968	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-26 14:18:16 Model theory Formal languages Predicate logic Logical syntax First-order logic Interpretation Principia Mathematica Well-formed formula Function Logic Mathematics Mathematical logic
969	Spatiotemporal Pattern Queries Mahmoud A.Sakr #1,∗2 , Ralf H.G¨uting #1 #1 Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2010-07-14 04:24:54 Predicate logic Database management systems Grammar Predicate Semantics Relational model Prolog SQL Query optimizer Logic Computing Mathematical logic
970	Discourse Representation Theory 1090 Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:25:13 Philosophy of language Predicate logic Model theory Discourse representation theory Quantification Donkey sentence Pragmatics Anaphora First-order logic Semantics Logic Linguistics